461. nonmonotonic and inductive logic:second international workshop,Reinhardbrunn castle,Germany,December 2-6,1991:proceedings/

پدیدآورنده :

موضوع : Logic programming-congresses

۳ نسخه از این کتاب در ۲ کتابخانه موجود است.

462. 6800 programming for logic design

پدیدآورنده :

کتابخانه: Library of Niroo Research Institue (Tehran)

موضوع : ، Logic design,، MC0086 )Computer(- Programming,، Microcomputers- Programming,، Assembler language )Computer program language(

463. programs-as-Adapting proofs

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry

464. year perspective on logic programming-A 25

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Gruppo Ricercatori e Utenti Logic Programming. ; Logic programming. ;